Modal Logic in the Modal Sense of Modality
نویسنده
چکیده
One reason is explained why the pursuit of modal logic’s original aim of evaluating the formal validity of arguments turning on necessity and possibility in a ‘metaphysical’ sense must cross borders and draw the logician into ‘metaphilosophy’. John P. Burgess Department of Philosophy Princeton University Princeton, NJ 08544-1006, USA [email protected]
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملModal BI and Separation Logic (DRAFT)
We present modal BI and show that the necessary propositions are exactly the “pure” propositions, in the sense of separation logic. We demonstrate the use of modal BI for reasoning with axioms and by induction, and also relate 2 to the exponential modality !.
متن کاملModality and Modal Sense Representation in E-HowNet
This paper explains how we define and represent modality in E-HowNet. Following Lyons (1977, reviewed in Hsieh 2003, among others), we hold that modals express a speaker’s opinion or attitude toward a proposition and hence have a pragmatic dimension and recognize five kinds of modal categories, i.e. epistemic, deontic, ability, volition and expectation modality. We then present a representation...
متن کاملThe Acquisition and Development of the Concepts of English Modality Through Metaphors
The current study attempted to investigate the effect of Systemic-Theoretical Instruction (STI) on English-language learners’ acquisition of the concepts of modal verbs through exploiting metaphors. To this end, the effect of the main treatment of the study, i.e. Concept-Based Instruction (CBI) was investigated through conceptual metaphors, in two gender (male vs. female) ...
متن کاملModality and Databases
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical difficulties successfully. Second, this modal logic is used to introduce a rather different way of looking at...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015